『Algebraic Operations and Generic Effects』
Gordon Plotkin
John Power
Computational Effect
を代数的に扱う
https://homepages.inf.ed.ac.uk/gdp/publications/alg_ops_gen_effects.pdf
2002年